On Colimits and Elementary Embeddings
نویسندگان
چکیده
منابع مشابه
On colimits and elementary embeddings
We give a sharper version of a theorem of Rosický, Trnková and Adámek [12], and a new proof of a theorem of Rosický [13], both about colimits in categories of structures. Unlike the original proofs, which use category-theoretic methods, we use set-theoretic arguments involving elementary embeddings given by large cardinals such as α-strongly compact and C(n)extendible cardinals.
متن کاملPerfect trees and elementary embeddings
An important technique in large cardinal set theory is that of extending an elementary embedding j : M → N between inner models to an elementary embedding j∗ : M [G] → N [G∗] between generic extensions of them. This technique is crucial both in the study of large cardinal preservation and of internal consistency. In easy cases, such as when forcing to make the GCH hold, the generic G∗ is simply...
متن کاملCardinal Preserving Elementary Embeddings
Say that an elementary embedding j : N → M is cardinal preserving if CAR = CAR = CAR. We show that if PFA holds then there are no cardinal preserving elementary embeddings j : M → V . We also show that no ultrapower embedding j : V → M induced by a set extender is cardinal preserving, and present some results on the large cardinal strength of the assumption that there is a cardinal preserving j...
متن کاملIntroduction to I0: Elementary Embeddings
The added assumption for the critical point is necessary to put I0 in the same branch of the other rank-into-rank axioms. If j witness I0, in fact, j Vλ+1 witness I1, and so λ is the supremum of the critical sequence. Note that if I0 is true, then L(Vλ+1) 2 AC, because otherwise we could use Kunen’s Theroem to prove that there is no elementary embedding. One of the big peculiarities of I0 is it...
متن کاملStrong Axioms of Infinity and Elementary Embeddings
This is the expository paper on strong axioms of infinity and elementary embeddings origi;,ally to have been authored by Reinhardt and Solovay. It has been owed for some time and already cited with some frequency in the most recent set theoretical literature. However, for various reasons the paper did not appear in print far several years. The impetus for actual publication came from a series o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2013
ISSN: 0022-4812,1943-5886
DOI: 10.2178/jsl.7802120